home *** CD-ROM | disk | FTP | other *** search
/ Garbo / Garbo.cdr / mac / progrmng / cmlmcmpw.sit / Caml Light / Lib / obj.mli < prev    next >
Encoding:
Text File  |  1991-05-01  |  566 b   |  16 lines  |  [TEXT/MPS ]
  1. (* Operations on internal representations of values.
  2.    ALL OPERATIONS PROVIDED HERE ARE UNSAFE AND NOT FOR THE CASUAL USER.
  3.    Hence they are undocumented... *)
  4.  
  5. type obj
  6. ;;
  7. value Repr : 'a -> obj = 1 "identity"
  8.   and magic_obj : obj -> 'a = 1 "identity"
  9.   and magic : 'a -> 'b = 1 "identity"
  10.   and obj_tag : obj -> int = 1 "tag_of"
  11.   and obj_size : obj -> int = 1 "vect_length"
  12.   and obj_field : obj -> int -> obj = 2 "get_vect_item"
  13.   and set_obj_field : obj -> int -> obj -> obj = 3 "set_vect_item"
  14.   and obj_block : int -> int -> obj = 2 "obj_block" "alloc"
  15. ;;
  16.